Object Constraint Language - PDFSEARCH.IO - Document Search Engine

Object Constraint Language
Results: 132

#	Item
31	PDF Document Add to Reading List Source URL: st.inf.tu-dresden.de Language: English - Date: 2012-09-25 06:20:13 Software Computing Unified Modeling Language Eclipse Object Constraint Language Integrated development environments ECO Object-oriented programming languages Domain-specific language Scala OCL Xtend
32	PDF Document Add to Reading List Source URL: alfa.di.uminho.pt Language: English - Date: 2014-11-03 12:05:44 Unified Modeling Language Systems engineering Metamodeling QVT Model-driven engineering Entityrelationship model Object Constraint Language ATLAS Transformation Language
33	OCL Tools Report based on the IDE4OCL Feature Model Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2011-12-21 11:10:53 Eclipse Object Constraint Language ECO Acceleo KeY Domain-specific language Model-driven architecture Software Computing Unified Modeling Language
34	UML as an Ontology Modelling Language Stephen Cranefield and Martin Purvis Department of Information Science University of Otago PO Box 56, Dunedin, New Zealand E-mail: fscranefield, Add to Reading List Source URL: sunsite.informatik.rwth-aachen.de Language: English - Date: 1999-05-17 05:26:22 Knowledge representation Software engineering Ontology ISO standards Information science Object Constraint Language Meta-Object Facility XML Metadata Interchange Metamodeling Unified Modeling Language Science Information
35	Employing the Object Constraint Language in Model-Based Engineering Martin Gogolla Database Systems Group, University of Bremen, Germany Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2013-04-24 13:55:47 Object Constraint Language Eclipse Diagram Model-driven engineering Modeling language ECO Kermeta Software Unified Modeling Language Computing
36	Abstract Runtime Monitoring with USE Lars Hamann L´aszl´o Vid´acs Martin Gogolla Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2012-01-27 03:50:41 Unified Modeling Language Formal methods Java platform Knowledge representation Object Constraint Language ECO KeY Runtime verification Software development process Computing Software Cross-platform software
37	Behavior Modeling with Interaction Diagrams in a UML and OCL Tool Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier, Quang Dung Nguyen University of Bremen, Germany {gogolla,lhamann,fhilken,ms,quang}@tzi.de Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2014-06-25 01:16:58 Design Unified Modeling Language Communication diagram Sequence diagram Object Constraint Language ECO Diagram Object diagram Class diagram UML diagrams Software engineering Data modeling
38	VOLT 2014 Workshop Report Moussa Amrani1 , Eugene Syriani2 , Manuel Wimmer3 , Robert Bill3 , Martin Gogolla4 , Frank Hermann5 , and Kevin Lano6 1 University of Namur, Belgium Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2014-12-03 03:08:26 Software Graph rewriting VIATRA Formal methods Logic in computer science Object Constraint Language Model transformation language Kermeta Formal verification Unified Modeling Language Systems engineering Software engineering
39	Object Constraint Language (OCL): A Definitive Guide Jordi Cabot1 and Martin Gogolla2 1 ´ Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2013-01-09 10:54:10 ISO standards Data management Object-oriented programming Data types Type theory Object Constraint Language ECO EXPRESS Domain-specific language Software engineering Computing Unified Modeling Language
40	ACM/IEEE 12th Annual International Conference on Model Driven Engineering Languages and Systems MODELS 2009 Denver, Colorado, USA Add to Reading List Source URL: www.cs.colostate.edu Language: English - Date: 2009-09-29 18:28:36 Science Object Constraint Language Model-driven engineering Metamodeling Modeling language ECO Model-based testing Model-driven architecture Unified Modeling Language Software engineering Data modeling

UPDATE